[[Graded module]]
# Category of graded modules

Let $(\mathfrak{A}, +)$ be a [[monoid]] and $R$ be a $\mathfrak{A}$-[[graded ring]].
The **category of graded modules** $\cat{Gr}_{\mathfrak A}\lMod R$ is a [[category]] where
an object is a $\mathfrak A$-[[graded module]]
and a morphism is a $\mathfrak A$-[[Graded module homomorphism|graded]] $R$-module homomorphism. #m/def/module 


#
---
#state/tidy | #lang/en | #SemBr